# test.type = 'pass'
# eval = 'typecheck_strict'
let x = (1 + 1) in (x + 1 : Number)
